$\forall$$w$:World, $p$:FairFifo, $e$:E, $l$:IdLnk. w\_sends($e$;$l$) $\in$ \{$m$:Msg$\mid$ mlnk($m$) $=$ $l$ \} List